$\forall$$L$:(Top List). map($\lambda$$x$.$x$;$L$) $\sim$ $L$